Nuprl Definition : w-kind
11,40
postcript
pdf
kind(
a
) == outr(
a
).1
latex
clarification:
w-kind(
w
;
a
) == outr(
a
).1
latex
Definitions
outr(
x
)
,
t
.1
FDL editor aliases
w-kind
origin